perm filename KNUTH[NOT,DBL] blob
sn#155391 filedate 1975-04-22 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00003 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .DEVICE XGP
C00005 00003 .LTR(Professor Donald Knuth)
C00009 ENDMK
C⊗;
.DEVICE XGP
.page frame 50 high 80 wide
.title area heading lines 1 to 3
.area text lines 4 to 50
.FONT 1 "BASL30"; FONT 2 "BASI30"; FONT 3 "BASB30"; FONT 5 "NGB25"
.FONT 6 "STA200.FNT[XGP,SYS]"
.TURN ON "%{α"
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.AT "ffi" ⊂ IF THISFONT ≤ 3 THEN "≠" ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 3 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff" ⊂ IF THISFONT ≤ 3 THEN "≥" ELSE "fαf" ⊃;
.AT "fi" ⊂ IF THISFONT ≤ 3 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl" ⊂ IF THISFONT ≤ 3 THEN "∨" ELSE "fαl" ⊃;
.MACRO FAC ⊂FILL ADJUST COMPACT ⊃
.MACRO FAD ⊂FILL ADJUST COMPACT DOUBLE SPACE; PREFACE 2 ⊃
.MACRO LTR(name,dat) ⊂
.place HEADING
.nofill
.BEGIN
.TURN ON "-←→∂↑↓&[]";
%6S%5 Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
.end
.PLACE TEXT;
.SELECT 5; if length ("dat") > 2 then date←"dat";
.once turn on "→"
%5Telephone 415-497-1391→{date}
or 415-497-4971
.SKIP 3; SELECT 1
name
.EVERY HEADING("%3NAME, {date}",,Page {Page})
.⊃
.MACRO AIADDRESS ⊂GROUP BEGIN SKIP 1; NOFILL
Douglas B. Lenat
Artificial Intelligence Laboratory
Stanford University
Stanford, California 94305
.END APART ⊃
.MACRO DBL ⊂ GROUP BEGIN SKIP 3; NOFILL CENTER
Sincerely,
.SKIP 6
Douglas B. Lenat
.END APART ⊃
.portion main
.page←1
.LTR(Professor Donald Knuth)
Computer Science Department
Stanford University
.FAC
Dear Don,
I enjoyed talking to you about the "Automated Mathematician" project. Some
afterthoughts:
We didn't have much time to discuss your reactions to the ideas; if you
disagree with any of them, I'd greatly appreciate a note about that.
Enclosed is a fuller description of the proposed system, and a copy of the
knowledge which will be given initially to the system.
After reading the notes on de Bruijn's AUTOMATH lectures, I see that there really
%2is%* something there after all; the papers I had looked at earlier were by other
authors, and presupposed a working knowledge of that language. Like Esperanto,
it is unfortunate that most scientists and mathematicians %2don't%* know
AUTOMATH; but because of that lack
I feel I must still orient the communication to
a more traditional, math-textbook type of language.
AUTOMATH forces you to always know precisely what you're saying; this alone would
drive away most of the prospective users.
Seriously: AUTOMATH is better suited to proof %2checking,%*
than to the
investigative flights of imagination needed to %2propose%* interesting new conjectures.
Yesterday I gave a seminar here at the A.I. lab, and received a couple interesting
warnings. One is that even though the little clumps of knowledge are able to
locally decide what is interesting, the system might be swamped by
a multitude of slightly-worthwhile things to do, and
not be able to recognize
the %2globally%* most
interesting pursuits.
How do you recognize when something has significant interest, as opposed to
apparent, local interest? Is true significance just a matter of hindsight?
I hope to hear from you soon. In any event, I'll schedule another meeting when
the system is programmed.
.DBL